121. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
پدیدآورنده : Yassine Lakhnech, Sergio Yovine )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
3253
122. Fraktale Wolken, virtuelle Flammen :
پدیدآورنده : von Georgios Sakas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer simulation.
رده :
TA357
.
5
.
T87
V664
1993
123. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
124. Fundamentals of Scientific Computing
پدیدآورنده : / Bertil Gustafsson
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer simulation,Computer science -- Mathematic,Science -- Methodology,Science -- Data processing,شبیهسازی کامپیوتری,علوم کامپیوتر -- ریاضیات,علوم -- روش شناسی,علوم -- دادهپردازی
رده :
QA76
,.
9
.
C65
,
G8
2011
125. Gas turbines modeling, simulation, and control
پدیدآورنده : / Hamid Asgari, XiaoQi Chen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Gas-turbines--Computer simulation,Neural networks (Computer science)
رده :
TJ778
.
A83
2016
126. Geometric Modeling for Scientific Visualization
پدیدآورنده : edited by Guido Brunnett, Bernd Hamann, Heinrich Müller, Lars Linsen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Mathematics.,Visualization.
127. Geometric Modelling
پدیدآورنده : edited by Guido Brunnett, Hanspeter Bieri, Gerald Farin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer simulation.
رده :
QA565
.
E358
2001
128. Geometry of Curves and Surfaces with MAPLE
پدیدآورنده : by Vladimir Rovenski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer simulation.,Geometry.,Mathematics.
129. Graphics Modeling and Visualization in Science and Technology
پدیدآورنده : edited by Martin Göbel, José C. Teixeira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer simulation.
رده :
T385
.
E358
1993
130. Graphisch-Interaktive Strömungsvisualisierung
پدیدآورنده : von Thomas Frühauf.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer simulation.
رده :
QA76
.
9
.
C65
V668
1997
131. Graphs and algorithms in communication networks: <studies in broadband, optical, wireless and ad hoc networks>
پدیدآورنده : / Arie M. C. A. Koster, Xavier Munoz, editors
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Computational complexity,Computer science,Computer simulation,Computer software,Telecommunication
رده :
511
.
352
G766
2010
132. Guide to Scientific Computing in C++ /
پدیدآورنده : by Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6-76
.
66
133. Guide to scientific computing in C++ /
پدیدآورنده : Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Science-- Data processing.,C++ (Computer program language),Computer modelling & simulation.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Maths for computer scientists.,Programming & scripting languages: general.,Science-- Data processing.,Software Engineering.
رده :
QA76
.
73
.
C153
134. Handbook of Conceptual Modeling :
پدیدآورنده : David W Embley
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA76
.
9
.
C65
D385
2011
135. Handbook of Materials Modeling
پدیدآورنده : \ editor, Sidney Yip.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Materials -- Mathematical models,Materials science -- Computer simulation. ,مواد -- الگوهای ریاضی ,مهندسی مواد -- شبیهسازی کامپیوتری
رده :
E-Book
,
136. Handbook of computational chemistry research
پدیدآورنده : Charles T. Collett and Christopher D. Robson, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemistry -- Computer simulation.,Chemistry -- Data processing.,SCIENCE -- Chemistry -- Clinical.
رده :
QD39
.
3
.
E46
C437
2010
137. Handbook of materials modeling
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Materials ; Mathematical models. ; Materials science ; Computer simulation. ;
138. Handbook of materials modeling /
پدیدآورنده : editor, Sidney Yip
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Materials-- Mathematical models,Materials science-- Computer simulation
139. Handbook of materials modeling
پدیدآورنده : editor, Sidney Yip
موضوع : Materials- Mathematical models,Materials science- Computer simulation
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
140. Handbook of real-world applications in modeling and simulation /
پدیدآورنده : edited by John A. Sokolowski, Catherine M. Banks.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation.,System analysis-- Mathematical models.,Computer science.,MATHEMATICS-- General.
رده :
Q295
.
S677
2012